Logic Programming Approach to Automata-Based Decision Procedures

机译：基于自动机的决策程序的逻辑编程方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Gulay Unel; David Toman;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Logic programming approach to automata-based decision procedures [J] . Unel Gulay, Toman David Journal of Logic and Algebraic Programming . 2017,第1期

机译：基于自动机的决策程序的逻辑编程方法
2. A possibilistic defeasible logic programming approach to argumentation-based decision-making [J] . Ferretti Edgardo, Errecalde Marcelo L., Garcia Alejandro J., Journal of experimental and theoretical artificial intelligence (Online) . 2014,第4期

机译：基于论证的决策的可行可行逻辑编程方法
3. A canonical form based decision procedure and model checking approach for propositional projection temporal logic [J] . Duan Zhenhua, Tian Cong, Zhang Nan Theoretical computer science . 2016,第Pta3期

机译：命题投影时间逻辑的基于规范形式的决策程序和模型检查方法
4. Logic Programming Approach to Automata-Based Decision Procedures [C] . Gulay Unel, David Toman International Conference on Logic Programming(ICLP 2007); 20070908-13; Porto(PT) . 2007

机译：基于自动机的决策程序的逻辑编程方法
5. Conditional probabilistic logic programming for probability model construction with application to decision-theoretic planning. [D] . Ngo, Liem Huu. 1997

机译：用于概率模型构建的条件概率逻辑编程，并应用于决策理论规划。
6. Extending the capabilities of diagnostic decision support programs through links to bibliographic searching: addition of canned MeSH logic to the Quick Medical Reference (QMR) program for use with Grateful Med. [O] . R. A. Miller, L. Jamnback, N. B. Giuse, 1991

机译：通过链接到书目搜索来扩展诊断决策支持程序的功能：在快速医学参考（QMR）程序中添加罐装MeSH逻辑以与Grateful Med一起使用。
7. A logic and decision procedure for predicate abstraction of heap-manipulating programs [O] . Jesse Bingham, Zvonimir Rakamarić 2005

机译：用于堆操作程序的谓词抽象的逻辑和决策过程

Logic Programming Approach to Automata-Based Decision Procedures

著录项

引文网络

相似文献

相关主题

期刊订阅